Model-based Design of Code for PLC Controllers
نویسنده
چکیده
This paper describes a method for model-based development of software for programmable logic controllers (PLC). The method includes modeling of a control algorithm, verifying the algorithm with respect to the requirements, and automatically generating the code in one of the IEC 61131 languages. The modeling language is UML state machine diagram, and the verification tool is UPPAAL model-checking toolbox. The method has good scalability with respect to the number of the modeled objects and the ability to cope with integer values by means of variables and function blocks.
منابع مشابه
A Novel Self-tuning Zone PID Controller for Temperature Control via a PLC code
S7-1200 with Tia Portal technology has become a Standard function of distributed controlsystems. Self-Tuning methods belong to Programmable Controllers (PLC) techniques. PLCtechniques contain software packages for advanced control based on mathematical methods. S7-1200 tools are designed to increase the Process Capacity, yield, and quality of products. Most ofthe present time digital industry r...
متن کاملDesign of Safe PLC Programs by Using Petri Nets and Formal Methods
The paper presents an approach which combines the formalism of Petri Nets and of model checking in order to deliver correct and dependable PLC programs. Based on SIPNs, a variant of PNs, the complete controller development process from an informal specification to the final implementation on a PLC is discussed. The SIPN formalized according to corresponding plant model enables the derivation of...
متن کاملA Design Pattern for translating UML software models into IEC 61131-3 Programming Languages
The paper deal with a deep analysis and application of object-oriented methodologies for the design process of industrial machine controllers. The process pass thought the phases of (1) conceptual model development of the software artifacts, and (2) model code deployment for the automation system target, which is in general a Programmable Logic Controller (PLC) compliant with the international ...
متن کاملMOBY/PLC - Graphical Development of PLC-Automata
Moby/plc is a graphical design tool for PLC-Automata, a special class of hierarchical real-time automata suitable for the description of distributed real-time systems that are implementable on a widely used hardware platform, so-called Programmable Logic Controllers (PLCs). In this paper we sketch the modelling language in use and some features of Moby/plc, like several validation methods and c...
متن کاملSpeciication and Veriication of Polling Real-time Systems
Formal methods for real-time systems are an important topic of contemporary research. The aim is to cope with the additional complexity of \time" in speciication and veriication. In Die99a] we present an approach to the correct design of real-time programs implemented on \Programmable Logic Controllers" (PLCs). This hardware executes repeatedly an application program whereas each cycle has an u...
متن کامل